Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
871	Efficient Resource Oblivious Algorithms for Multicores with False Sharing Richard Cole Computer Science Dept. Courant Institute of Mathematical Sciences, NYU New York, NY 10012, USA Email: [removed] Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-01-31 17:53:38 Cache Theoretical computer science Analysis of algorithms Algorithms Models of computation Cache-oblivious algorithm CPU cache Parallel computing Algorithm Computing Computer science Applied mathematics
872	NRL Release Number[removed]Visual Security Protocol Modeling J. McDermott Center for High Assurance Computer Systems Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-26 12:50:29 Data modeling Computing Diagrams Automata theory Digital electronics Unified Modeling Language Communications protocol Finite-state machine Activity diagram Models of computation UML diagrams Software engineering
873	Interpretation Number: [removed] Add to Reading List Source URL: grouper.ieee.org Language: English - Date: 2007-03-30 12:27:42 Theoretical computer science State diagram Communication design Computer science Power over Ethernet Models of computation PSE Finite-state machine
874	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
875	Genetic Epidemiology 8:[removed]Efficient Computation of Patterned Covariance Matrix Mixed Models in Quantitative Segregation Analysis Nicholas Schork Add to Reading List Source URL: deepblue.lib.umich.edu Language: English - Date: 2006-05-18 06:58:52 Abstract algebra Linear algebra Estimation theory Data analysis Covariance and correlation Covariance matrix Mixed model Euclidean vector Multivariate normal distribution Statistics Algebra Mathematics
876	§1. Algorithmics Lecture I Page 1 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-09-24 18:59:56 Computational complexity theory Operations research Algorithms Models of computation Decision tree model Sorting algorithm Linear programming Divide and conquer algorithm Pointer machine Theoretical computer science Mathematics Applied mathematics
877	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic
878	“Maximal-Munch” Tokenization in Linear Time THOMAS REPS University of Wisconsin The lexical-analysis (or scanning) phase of a compiler attempts to partition an input string Add to Reading List Source URL: www.csc.lsu.edu Language: English - Date: 2002-06-08 18:46:58 Computing Automata theory Parsing Models of computation Lexical analysis Maximal munch Tokenization Finite-state machine Algorithm Programming language implementation Compiler construction Software engineering
879	Finite-State Transducer Cascade to Extract Proper Names in Texts Nathalie Friburger and Denis Maurel Laboratoire d’Informatique de Tours E3i, 64 avenue Jean Portalis, 37000 Tours {friburger,maurel}@univ-tours.fr Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-04-03 11:21:43 Models of computation Language Computational linguistics Natural language processing Speech recognition Finite state transducer Finite-state machine Family name Proper noun Linguistics Languages of Europe Automata theory
880	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics

UPDATE